What's in a Trace: The Box Model Revisited
نویسندگان
چکیده
In this paper we investigate trace protocols of PROLOG programs. We present a precise mathematical speciication of the box model for deenite programs as it was informally introduced by Byrd. We also give a sketch of how to generalize this speciication to normal logic programs.
منابع مشابه
Mechanism Discrimination for Bimolecular Reactions: Revisited with a Practical Hydrogenation Case Study
The governing mechanism of surface reactions is a fundamental concern in heterogeneous catalysis. The Langmuir–Hinshelwood (LH) mechanism is widely accepted to control the surface reactions in many catalytic systems. This contribution derives and compares several important surface rate equations to evaluate their quality of fitting to the experimental data collected for a vapor-phase hydrogenat...
متن کاملHigh level Ab inito bench mark computaions on weak interactions (H2)2 dimer revisited
The Potential Energy Surface PES of (H2)2 dimer has been investigated, using five simple rigid rotor models. These models are called: head to head, symmetric side to side, L , steplike and T model. All calculations were done at two levels of ab initio methods: MP2(Full) and QCISD (T,Full) using cc-pVTZ basis set at singlet state of spin multiplicity. The results of scanning PES were then fitte...
متن کاملSweep Line Algorithm for Convex Hull Revisited
Convex hull of some given points is the intersection of all convex sets containing them. It is used as primary structure in many other problems in computational geometry and other areas like image processing, model identification, geographical data systems, and triangular computation of a set of points and so on. Computing the convex hull of a set of point is one of the most fundamental and imp...
متن کاملSolid Phase Extraction of Ultra Trace Amounts of Ni2+ by Dimethylglyoxime (DMG) Immobilized on Column
A column of alumina modified with sodium dodecyl sulfate (SDS) and dimethylglyoxime (DMG) was prepared for the preconcentration of trace nickel from water samples for flame atomic absorption spectrometry (FAAS) determinations. Under optimized conditions (pH=7.0; flow rate: 20 mlmin-1) nickel was retained on the column. The nickel collected on the column was eluted with 5 mL of 1 M nitric ac...
متن کامل